void CountdownTimer_StartTimer (unsigned int timerId, float time);
BOOL CountdownTimer_HasTimerRunOutYet (unsigned int timerId);

void CountdownTimer_Initialize ();
void StartTimer (unsigned int timerId, float time);
BOOL HasTimerRunOutYet (unsigned int timerId);
void UpdateTimers ();
__interrupt void TimebaseTimer_isr (void);
#pragma intvect TimebaseTimer_isr 36